Let N be the set of natural numbers and the function f:N→N